Explicit left orders on free groups extending the lexicographic order on free monoids
نویسندگان
چکیده
منابع مشابه
On Well Quasi Orders of Free Monoids
The paper investigates down-sets associated to well quasi orders. Of particular language-theoretic interest is the quasi order u s v (resp.u P v) of u being a subword (resp. a Parikh subword) of v, as well as their inverses. We establish a number of results about the regularity and e ective regularity of the down-sets, in particular, a general condition for the e ective regularity of the down-s...
متن کاملOn the Cubical Homology Groups of Free Partially Commutative Monoids
We study a Leech homology of a locally bounded free partially commutative monoid M(E, I). Given a contravariant natural system of abelian groups F on M(E, I) we build a precubical set T (E, I) with a homological system of abelian groups F and prove that the Leech homology groups Hn(M(E, I), F ) are isomorphic to the cubical homology groups Hn(T (E, I), F ), n > 0. As a consequence we have confi...
متن کاملAlgorithmic Problems on Inverse Monoids over Virtually Free Groups
Let G be a finitely generated virtually-free group. We consider the Birget-Rhodes expansion of G, which yields an inverse monoid and which is denoted by IM(G) in the following. We show that for a finite idempotent presentation P , the word problem of a quotient monoid IM(G)/P can be solved in linear time on a RAM. The uniform word problem, where G and the presentation P are also part of the inp...
متن کاملExtending Partial Automorphisms and the Proonite Topology on Free Groups
A class of structures C is said to have the extension property for partial automorphisms (EPPA) if, whenever C 1 and C 2 are structures in C, C 1 nite, C 1 C 2 , and p 1 , p 2 , : : :, p n are partial automorphisms of C 1 extending to automorphisms of C 2 , then there exist a nite structure C 3 in C and automorphisms 1 , 2 , : : :, n of C 3 extending the p i. We will prove that some classes of ...
متن کاملExtending Partial Automorphisms and the Profinite Topology on Free Groups
A class of structures C is said to have the extension property for partial automorphisms (EPPA) if, whenever C1 and C2 are structures in C, C1 finite, C1 ⊆ C2, and p1, p2, . . . , pn are partial automorphisms of C1 extending to automorphisms of C2, then there exist a finite structure C3 in C and automorphisms α1, α2, . . . , αn of C3 extending the pi. We will prove that some classes of structur...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Comptes Rendus Mathematique
سال: 2013
ISSN: 1631-073X
DOI: 10.1016/j.crma.2013.07.001